-
1 general recursive functional
Математика: общерекурсивный функционалУниверсальный англо-русский словарь > general recursive functional
-
2 general recursive functional
English-Russian scientific dictionary > general recursive functional
-
3 functional
1) матем. оператор; функционал2) технически целесообразный, функциональный•- maximum likelihood functional - metrically bounded functional - metrically unbounded functional - monotonic functional - partially computable functional - strongly undefined functional - uniformly quasiconvex functional - weakly differentiable functional -
4 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
5 interpretation
интерпретация, истолкование, разъяснение, трактовкаrelatively complete interpretation — относительно полная [адекватная] интерпретация
-
6 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
7 group
1) группа, ансамбль || групповой- roughing mill group2) совокупность; комплект3) группировка || группировать(ся)5) класс; категория || классифицировать; категоризировать6) хим. остаток7) сгусток; скопление8) узел9) матем. группа- absolute free group - absolute homotopy group - absolutely irreducible group - absolutely simple group - additively written group - adele group - adelic group - algebraically compact group - algebraically simple group - almost connected group - almost cyclic group - almost ordered group - almost periodic group - almost simple group - alternating form group - cancellative group - cellular homology group - characteristically simple group - complementing group - completely anisotropic group - completely discontinuous group - completely divisible group - completely indecomposable group - completely integrally closed group - deficient group - direct homology group - direct indecomposable group - doubly transitive group - finitely defined group - finitely generated group - finitely presented group - finitely related group - first homology group - first homotopy group - freely generated group - full linear group - full orthogonal group - full rotation group - full symmetric group - full unimodular group - group of classes of algebras - group of covering transformations - group of finite rank - group of infinite order - group of infinite rank - group of inner automorphisms - group of linear equivalence - group of linear forms - group of linear manifold - group of principal ideles - group of real line - group of recursive permutations - group of right quotients - idele class group - linearly ordered group - linearly transitive group - locally bicompact group - locally closed group - locally compact group - locally connected group - locally cyclic group - locally defined group - locally embeddable group - locally finite group - locally free group - locally infinite group - locally nilpotent group - locally normal group - locally solvable group - multiply primitive group - multiply transitive group - nonsolvable group - n-th homotopy group - ordered pair group - principal congruence group - properly orthogonal group - properly unimodular group - pure projective group - pure rotation group - pure simple group - quasipure projective group - quotient divisible group - residually nilpotent group - restricted holonomy group - sharply transitive group - simply ordered group - simply reducible group - simply transitive group - singular cogomology group - singular homology group - solvable group - stable group - strictly transitive group - strongly polycyclic group - subsolvable group - supersolvable group - totally ordered group - totally projective group - totally reducible group - triply transitive group - unitary symmetry group - unitary transformation group - value group - weak homology group - weakly mixing groupgroup with multiple operators — группа с многоместными операторами, мультиоператорная группа
-
8 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
9 transformation
трансформация, трансформирование; превращение; преобразование- completely reducible transformation - convexity preserving transformation - identity transformation - inverted transformation - locally isomorphic transformation - locally linear transformation - locally quadratic transformation - normal transformation of binomial distribution - probability integral transformation - proper birational transformation - recursive transformation - uniform probability transformation - uniformly continuous transformation - uniformly regular transformation - weakly compact transformation - weakly completely continuous transformation - weakly mixing transformation - weakly open transformation - weakly separable transformation -
10 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
11 expansion
1) протяженность; пространство2) метал. развальцовка3) матем. разложение ( в ряд)4) растяжение; расширение; распространение; экспансия5) геол. увеличение мощности пласта•expansion by binomial theorem — матем. разложение по формуле бинома
expansion by continuity — матем. расширение по непрерывности
expansion by heat — физ. расширение при нагревании
expansion into a series — матем. разложение в ряд
expansion in terms of — разложение в ряд по...
-
12 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
13 operator
1) диспетчер2) владелец ( оборудования)3) машинист4) оператор машины или системы6) матем. оператор- almost periodic operator - amateur radio operator - asymptotically polylinear operator - bounded below operator - completely invertible operator - double stochastic operator - formally hypoelliptic operator - formally self-adjoint operator - formally symmetric operator - internal operator - isotonic operator - left shift operator - locally algebraic operator - locally measurable operator - negative semidefinite operator - normally resolvable operator - partial recursive operator - partially hypoelliptic operator - partially isometric operator - positive definite operator - positive semidefinite operator - properly orthogonal operator - relatively degenerate operator - relatively invertible operator - relatively regular operator - selective operator - skew adjoint operator - skew self-adjoint operator - uniformly strongly elliptic operator - weakly separable operator -
14 representation
1) изображение2) отображение; представление•- completely irreducible representation - completely reduced representation - completely reducible representation - discrete representation - finitely related representation - identity representation - locally constant representation - locally faithful representation - strongly rational representation - totally reducible representation -
15 scheme
1. n план, проект, программа2. n замысел3. n система, структура, построение4. n тайный или нечестный замысел, заговор; махинация, интрига5. n краткий план, конспект; резюмеto put a crimp in a scheme — помешать, расстроить план
6. n схема, чертёж, диаграммаlabeling scheme — схема маркировки; схема расстановки меток
7. n пустые мечты, прожекты8. n диал. эскапада, весёлый кутёж9. n уст. внешняя форма, внешний вид10. v замышлять; строить тайные планы11. v плести интриги, интриговать12. v планировать, разрабатывать план, проект13. v редк. сводить к схеме, к формулеСинонимический ряд:1. chart (noun) chart; diagram; layout; outline2. pattern (noun) arrangement; pattern; schema3. plot (noun) cabal; collusion; connivance; conspiracy; contrivance; covin; intrigue; machination; plot; practice; stratagem4. project (noun) blueprint; design; game plan; idea; method; plan; procedure; program; project; purpose; strategy; system5. plan (verb) collude; connive; conspire; contrive; design; devise; intrigue; machinate; plan; plot; project
См. также в других словарях:
History of general purpose CPUs — The history of general purpose CPUs is a continuation of the earlier history of computing hardware. 1950s: early designs Each of the computer designs of the early 1950s was a unique design; there were no upward compatible machines or computer… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
ML (programming language) — ML Paradigm(s) multi paradigm: imperative, functional Appeared in 1973 Designed by Robin Milner others at the University of Edinburgh Typing discipline static, strong, inferred … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
Turing completeness — For the usage of this term in the theory of relative computability by oracle machines, see Turing reduction. In computability theory, a system of data manipulation rules (such as an instruction set, a programming language, or a cellular… … Wikipedia
Inductive inference — This article is about the mathematical concept, for inductive inference in logic, see Inductive reasoning. Around 1960, Ray Solomonoff founded the theory of universal inductive inference, the theory of prediction based on observations; for… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Dynamic programming — For the programming paradigm, see Dynamic programming language. In mathematics and computer science, dynamic programming is a method for solving complex problems by breaking them down into simpler subproblems. It is applicable to problems… … Wikipedia